Artículo
|
A normalisation result for higher-order calculi with explicit substitutions :
|
Bonelli, Eduardo
|
(2003)
|
|
----------
|
Artículo
|
A typed assembly language for non-interference :
|
Medel, Ricardo H.
|
(2005)
|
|
----------
|
Artículo
|
Boxed ambients with communication interfaces :
|
Bonelli, Eduardo
|
(2004)
|
|
----------
|
Tesis
|
Compilación de programas seguros:
|
Molinari, Enrique
|
(2009)
|
Sala
|
----------
|
Artículo
|
Correspondence assertions for process synchronization in concurrent communications :
|
Bonelli, Eduardo
|
(2005)
|
|
----------
|
Artículo
|
Information flow analysis for a typed assembly language with polymorphic stacks :
|
Bonelli, Eduardo
|
(2006)
|
|
----------
|
Artículo
|
Justification logic as a foundation for certifying mobile computation :
|
Bonelli, Eduardo
|
(2011)
|
|
----------
|
Tesis
|
Lógica de pruebas para certificación de computación móvil:
|
Feller, Federico
|
(2009)
|
Sala
|
----------
|
Artículo
|
Multipoint session types for a distributed calculus :
|
Bonelli, Eduardo
|
(2008)
|
|
----------
|
Artículo
|
Non-interference for a typed assembly language :
|
Medel, Ricardo H.
|
(2005)
|
|
----------
|